logically equivalent statements - French English Dictionary